Faire de l'histoire : avant-propos

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

A propos des compétitions de programmes de jeu de Go

Le jeu de Go est un ancien jeu chinois. Il est très populaire en Corée, au Japon et en Chine. Les générations successives de joueurs de Go ont accumulé une expérience énorme du jeu tout au long de son histoire. Pour donner une idée de la somme des connaissances sur ce jeu, on peut citer les historiens chinois qui écrivent souvent que c'est Yao, un empereur semi-mythique du 23 siècle avant J.-C....

Une méthode pour l'appropriation de savoir-faire, capitalisé avec MASK

Résumé. La gestion explicite des savoirs et savoir-faire occupe une place de plus en plus importante dans les organisations. La construction de mémoires d’entreprise dans un but de préservation et de partage est devenu une pratique assez courante. Cependant, on oublie trop suivent que l’efficacité de ces activités est étroitement liée aux capacités d’appropriation et d’apprentissage des acteurs...

Faire vivre un référentiel métier dans l'industrie : le système de gestion de connaissances ICARE

Résumé. La gestion des connaissances, enjeu majeur pour l’industrie, est entrée dans une phase concrète de déploiement. La conjonction d’une maturité des organisations dans la maîtrise de leur métier, la consolidation de méthodes et les outils évolutifs pour faire vivre un patrimoine de connaissances favorisent l’émergence de projets significatifs et leur diffusion opérationnelle au sein de gra...